アルゴリズムの話 パターン・マッチングについて